Graph Transactions as Processes
نویسندگان
چکیده
Transactional graph transformation systems (t-gtss) have been recently proposed as a mild extension of the standard dpo approach to graph transformation, equipping it with a suitable notion of atomic execution for computations. A typing mechanism induces a distinction between stable and unstable items, and a transaction is defined as a shift-equivalence class of computations such that the starting and ending states are stable and all the intermediate states are unstable. The paper introduces an equivalent, yet more manageable definition of transaction based on graph processes. This presentation is used to provide a universal characterisation for the class of transactions of a given t-gts. More specifically, we show that the functor mapping a t-gts to a graph transformation system having as productions exactly the transactions of the original t-gts is the right adjoint to an inclusion functor.
منابع مشابه
Comparative analysis of organizational processes by the use of the social network concepts
This study presents a comparative analysis of redesigned models of organizational processes by making use of social network concepts. After doing re-engineering of organizational processes which had been conducted in the headquarters of Mazandaran Province Education Department, different methods were used which included the alpha algorithm, alpha⁺, genetics and heuristics. Every one of these me...
متن کاملNo Silk Road for Online Gamers!: Using Social Network Analysis to Unveil Black Markets in Online Games
Online game involves a very large number of users who are interconnected and interact with each other via the Internet. We studied the characteristics of exchanging virtual goods with real money through processes called “real money trading (RMT)”. is exchange might inuence online game user behaviors and cause damage to the reputation of game companies. We examined ingame transactions to revea...
متن کاملA new approach in graph- based integrated production and distribution scheduling for perishable products
This study is concerned with how the quality of perishable products can be improved by shortening the time interval between production and distribution. As special types of food such as dairy products decay fast, the integration of production and distribution scheduling (IPDS) is investigated. An integrated scheduling of both processes improves the performance and costs because the separated sc...
متن کاملInsider Threat Detection Using a Graph-Based Approach
The authors present the use of graph-based approaches to discovering anomalous instances of structural patterns in data that represent insider threat activity. The approaches presented search for activities that appear to match normal transactions, but in fact are structurally different. The authors show the usefulness of applying graph theoretic approaches to discovering suspicious insider act...
متن کاملA Graph Syntax for Processes and Services
We propose a class of hierarchical graphs equipped with a simple algebraic syntax as a convenient way to describe the configurations of languages equipped with inherently hierarchical features such as sessions, fault-handling scopes, transactions or locations. The graph syntax can be seen as an intermediate representation language, that facilitates the encoding of algebraic specifications and, ...
متن کامل